$\forall$$T$:Type. no\_repeats($T$; [])